On Coherence Approach to LogicProgram
نویسنده
چکیده
We present a new approach to revising extended programs, based on the coherence theory initially advocated by Gardenfors for belief revision. We deene the skeptical and credulous coherence semantics and show that both semantics can be characterized in terms of the xpoint semantics of a revised program using a simple program revision technique. Semantical properties and advantages of the proposed revision semantics are also analyzed.
منابع مشابه
An Optimal Approach to Local and Global Text Coherence Evaluation Combining Entity-based, Graph-based and Entropy-based Approaches
Text coherence evaluation becomes a vital and lovely task in Natural Language Processing subfields, such as text summarization, question answering, text generation and machine translation. Existing methods like entity-based and graph-based models are engaging with nouns and noun phrases change role in sequential sentences within short part of a text. They even have limitations in global coheren...
متن کاملThe Functions of ‘Surah Coherence’ in Interpretation Applied to Allameh Tabatabai’s al-Mizan and Sayyid Qutb’s Fi Zilal al-Quran
‘Surah coherence’ is an important aspect of the Quranic language, which, due to its unique role in interpretation, has been highly regarded by commentators and Quranic scholars, especially over the last half a century. According to this theory, each surah is centered around a main issue in such a way that all the topics of the surah create an all-encompassing unity. The present study intends to...
متن کاملارائه یک مدل احتمالاتی جهت تعیین انسجام متن در سیستم های پرسش و پاسخ تعاملی
Evaluation plays an important role in interactive question answering systems like many computational linguistics fields. The coherence between the questions and the answers exchanged between the user and the system is one of the important criteria in evaluating these systems. In this paper, a new approach to determine the degree of coherence of generated text by the IQA systems is presented. Th...
متن کاملCo-movement among industry indices of Tehran Stock Exchange, Wavelet Coherence approach
Co-movement analysis has a significant role in recourse allocation, risk management, etc. This study uses the novel approach of wavelet coherence in continuous wavelet transform framework to investigate the correlation dynamic and spillover effect of 10 main sector indices of Tehran Stock Exchange, in time and frequency domains. Analyzing the data indicates that correlation structure among TSE ...
متن کاملA Systems Thinking Approach to Inform Coherent Policy Action for NCD Prevention; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Lencucha and Thow tackle the enormous public health challenge of developing non-communicable disease (NCD) policy coherence within a world structured and ruled by neoliberalism. Their work compliments scholarship on other causal mechanisms, including the commercial determinants of health, that have contributed to creating the risk commodity environment and barriers to N...
متن کامل